Projective variety
ALGEBRAIC VARIETY DEFINED WITHIN A PROJECTIVE SPACE
Projective varieties; Projective algebraic variety; Projective curve; Projective surface; Projective scheme; Projective subscheme; Projective algebraic varieties; Projective embedding; Serre vanishing; Projective completion; Projection from a point; Complex projective varieties; Complex projective variety
In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space \mathbb{P}^n over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb{P}^n.